To My Friends

To my family and friends

Listen to My Body: Does Making Friends Help Influence People?

We investigate the effect of relational dialogue on creating rapport and exerting social influence in human-robot conversation, by comparing interactions with and without a relational component, and with different agent types. Human participants interact with two agents – a Nao robot and a virtual human – in four dialogue scenarios: one involving building familiarity, and three involving sharin...

Theory and Patients as Friends to my Post-Election Shock

My father and mother My brothers and sisters My lovely son Ahmed My friends All paediatrician Our lovely children

To Mor , to my parents , and to Rotem and her friends Winnie & the Pooh iv

The goal of shape analysis is to analyze properties of programs that perform destructive updating on dynamically allocated storage (heaps). In the past decade various frameworks have been proposed, most notable being the line of work based on shape graphs and canonical abstraction [SRW99, LAS00]. Frameworks have been proposed since, among them based on counter automata, predicate abstraction, a...